Interactive Theorem Proving in Software Engineering
by Florian Kammuller
ISBN 13: 9783836457699
Format: Paperback (120 pages) Publisher: VDM Verlag Dr. Mueller e.K. Published: 22 Jul 2008
Save for later